From Theory Re nement to KB Maintenance : a Position
نویسنده
چکیده
Since we consider theory reenement (TR) as a possible key concept for a methodologically clear view of knowledge-base maintenance, we try to give a struc-tured overview about the actual state-of-the-art in TR. This overview is arranged along the description of TR as a search problem. We explain the basic approach, show the variety of existing systems and try to give some hints about the direction future research should go.
منابع مشابه
Knowledge Assimilation , Standford , CA , March , 1992 Batch versus Incremental Theory Re nement
Most existing theory re nement systems are not incremental. However, any theory re nement system whose input and output theories are compatible can be used to incrementally assimilate data into an evolving theory. This is done by continually feeding its revised theory back in as its input theory. An incremental batch approach, in which the system assimilates a batch of examples at each step, se...
متن کاملRe nement of Vectors of Bernstein Polynomials
For the case of Bernstein polynomials the re nement mask is calculated recursively and the re nement matrices are given explicitely Moreover the eigenvectors of the transposed re nement matrices are constructed whereas the eigenvectors of the re nement matrices themselves can be determined by a theorem of Micchelli and Prautzsch INTRODUCTION Let n N and let b t b t bn t T be a vector of uniform...
متن کاملAn Automatic Adaptive Re nement and Dere nement Method for D Elliptic Problems
We present the theory and implementation for a new automatic adaptive h re nement and dere nement method for two and three dimensional elliptic problems An exact lower error bound for dere nement is obtained theoretically in terms of the nite element solution complementing the various known upper error bounds for re nement These error bounds are used to determine where to insert and or remove m...
متن کاملTowards a generic editor for subdivision surfaces
Subdivision surfaces are de ned by a mesh of points and by one or more re nement rules according to which new subsets of points are substituted for existing subsets which are usually smaller in size, to yield re ned meshes. The re nement rules de ning a subdivision surface are known collectively as the re nement process de ning the surface. Re nement processes of interest are any for which the ...
متن کاملKnowledge modelling for a generic refinement framework
Re nement tools assist with debugging a KBS's knowledge, thus easing the well-known knowledge acquisition bottleneck, and the more recently recognised maintenance overhead. Existing re nement tools are developed for speci c rule-based KBS environments, and have usually been applied to arti cial or academic applications. Hence there is a need for tools which are applicable to industrial applicat...
متن کامل